Ernst Cassirer: Science, Symbols, and Logics
نویسنده
چکیده
منابع مشابه
off”: Cassirer’s Response to Frege and Russell
This paper concerns the reception of the new logic and logicism of Frege and Russell among the German Neo-Kantian philosophers of the Marburg school. Paul Natorp and Ernst Cassirer both object to Frege’s and Russell’s conception of the ground, nature, and demarcation of logic. This objection depends on the distinctive Marburg school philosophy of logic, arst articulated by Hermann Cohen: that “...
متن کاملA Hermeneutic Phenomenology of Subjective and Objective Spirit: Husserl, Natorp, and Cassirer
In the introduction to the third and last volume of his Philosophy of Symbolic Forms of 1929, entitled " Phenomenology of Knowledge, " Ernst Cassirer remarks that the meaning in which he employs the term 'phenomenology' is Hegelian rather than according to " the modern usage of the term. " 1 What sense can it make, then, to invoke Edmund Husserl's phenomenology in this context? Yet if, roughly ...
متن کاملForgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies
Forgetting is a non-standard reasoning problem that is concerned with creating restricted views of ontologies relative to a subset of the initial signature and preserving pertinent logical consequences up to the symbols in the restricted views. In this paper, we present an Ackermann-based approach for forgetting of concept and role symbols in ontologies expressible in the description logic ALCO...
متن کاملCategories and all that - A Tutorial
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in Haskell, and continue with displaying the interplay between algebras, adjunctions and monads. Coalgebras are discussed and applied to the semantics of modal l...
متن کاملConcept Forgetting for ALCOI-Ontologies using an Ackermann Approach
We present a method for forgetting concept symbols in ontologies specified in the description logic ALCOI. The method is an adaptation and improvement of a second-order quantifier elimination method developed for modal logics and used for computing correspondence properties for modal axioms. It follows an approach exploiting a result of Ackermann adapted to description logics. Important feature...
متن کامل